21. Analysis: an introduction to proof
پدیدآورنده : Lay, Steven R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
L427
1986
22. Analysis with an introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Mathematical analysis,Proof theory
23. Analysis with an introduction to proof
پدیدآورنده : Steven R. Lay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical analysis -- Textbooks.,Mathematical analysis.,Proof theory -- Textbooks.
رده :
QA300
.
S748
9999
24. Applied proof theory: proof interpretations and their use in mathematics
پدیدآورنده : Kohlenbach, U. )Ulrich(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
رده :
QA
9
.
54
.
K64
2008
25. Arithmetic, Proof theory and computational complexity
پدیدآورنده : edited by Peter Clote and Jan Krajicek
کتابخانه: (طهران)
موضوع : ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
26. Arithmetic, proof theory, and computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Proof theory,Computational computational complexity
27. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
28. Basic proof theory
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T73
29. Basic proof theory
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T73
2000
30. Basic proof theory
پدیدآورنده : A.S. Troelstra, H. Schwichtenberg,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Proof theory
رده :
QA
.
T76
9
.
54
1996
31. Basic proof theory
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T76
2000
32. Beweistheorie
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
S377
33. Book of proof /
پدیدآورنده : Richard Hammack, Virginia Commonwealth University.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory, Textbooks.,Proof theory.
رده :
QA9
.
54
.
H345
2018
34. Charming proofs :
پدیدآورنده : Claudi Alsina, Roger B. Nelsen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
35. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
36. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
37. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
38. Complexity of proofs and their transformations in axiomatic theories
پدیدآورنده : Orevkov, V. P.
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
O713
39. Complexity of proofs and their transformations in axiomatic theories /
پدیدآورنده : V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
O7413
1993
40. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده : edited by M. M. Richter ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
